Electric Power Cyber-Physical Systems

This talk will discuss the emerging concept of a Cyber-Physical system, and how electric power systems of the future will have a significant cyber (computer) component. Correctness and security issues are discussed under the umbrella of non-interfering components for power systems applications. Biography Bruce McMillin received the B.S. in EE and M.S. in CS from Michigan Technological University, in Houghton, MI in 1979 and 1985, respectively. He received his Ph.D., from Michigan State University, in 1988. The main thread of his research activities has been to create sound theory and practice of fault tolerance and security for distributed computing applications. His work treats these aspects as functions of the application rather than of the underlying system. Since most work in providing fault tolerance and security is based on assuring the underlying system, his work represents a radical departure from the mainstream of the discipline. Breaking from the main thread of research has required development of a new theory of how program correctness is understood. The approach is to provide semantics to ensure, at runtime, that a distributed program is survivable (has fault tolerance) and maintains its security, in the presence of system failures and security intrusions.